<?php

// function run()
// {
// 	echo 999;
// }

// $a = "abc";

// $a();

include './functions.php';

a();